/**
 * Lukasz Muziol
 *
 * MEng Individual Project
 * Gride: A teaching oriented Groovy IDE  *
 *
 */

package gride;

/**
 *
 * This class contains static fields with names of directories accessed by
 * Gride.
 *
 * @author Lukasz Muziol
 */
public class GrideSettings
{
    /**
     * plugins directory
     */
    public static final String PLUGINS_DIR = "plugins";
    /**
     * projects directory
     */
    public static final String PROJECTS_DIR = "projects";
    /**
     * settings directory
     */
    public static final String SETTINGS_DIR = "settings";
    /**
     * source directory
     */
    public static final String SOURCE_DIR_EXT = "src";
    /**
     * build directory
     */
    public static final String BUILD_DIR_EXT = "build";
    /**
     * libraries directory
     */
    public static final String LIB_DIR_EXT = "lib";
    /**
     * documentation directory
     */
    public static final String DOC_LIB_EXT = "doc";

    /**
     * value of the GROOVY_HOME environment variable
     */
    public static String GROOVY_HOME_DIR;
    /**
     * value of the JAVA_HOME environment variable
     */
    public static String JAVA_HOME_DIR;

    // this class shouldn't be instantiated, hence private constructor
    private GrideSettings()
    {}
}
